COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00005 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S   Telephone:
\←S\→.415-497-4971
\F1\CAug 9,1974



Dr. R. D. Tennent
Department of Computing and Information Science
Queen's University
Kingston, Canada

Dear Dr Tennent:

\JI apologize for being so tardy in replying. The material you sent did arrive
and I thank you. I have been trying to finish a definitive book on LISP:
interpreters, compilers, implementations, applications and mathematical semantics.
It's been hanging fire for four years and it's time to finish it once and for all.
If you would like a draft I would be glad to oblige. 

I am also working with David Luckham extending some of his recent work on 
automatic program generation. We are also developing a program verification
system, incorporating our  old theorem prover (it proves old theorems) with
the VCGENer of I,L&L. There are several reports on this research being processed
now. As soon as they are presentable I will sent copies.

My personal interest currently stems from the LISP
book. While writing it, I have been generating a clean extension/modification
of LISP. The language, S-LISP (for super/shittty/structured) has user-defineable
data structures, LISP-style semantics, but also a clean mathematical semantics
and an efficient implementation. 
It is also rumored that  paper, covered with expressions of the language, has
magical curative powers; however this is probably an implementation-dependent
feature.
\.
\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,



John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Labs

\←S\→L